$\vdash$  $\forall$$a$:$\mathbb{B}$. (($\neg_{b}$$a$) $\sim$ ff) $\Rightarrow$ ($a$ $\sim$ tt)